Test Case Generation for Temporal
نویسندگان
چکیده
1 The goal of testing is to make statements about the relation between the traces of an implementation and a temporal property. This is not possible for all temporal properties. Within this paper safety and guarantee properties are identi ed to be testable temporal properties and for these testable properties a test case de nition is given. This is done by representing a safety property as a labeled transition system and by representing the guarantee property as a nite automaton. The test case de nition is applied to practical testing by using SDL descriptions to specify safety properties and by using Message Sequence Charts (MSCs) to specify guarantee properties. CR
منابع مشابه
A PRACTICAL APPROACH TO REAL-TIME DYNAMIC BACKGROUND GENERATION BASED ON A TEMPORAL MEDIAN FILTER
In many computer vision applications, segmenting and extraction of moving objects in video sequences is an essential task. Background subtraction, by which each input image is subtracted from the reference image, has often been used for this purpose. In this paper, we offer a novel background-subtraction technique for real-time dynamic background generation using color images that are taken fro...
متن کاملComparing the Effectiveness of the Non- Soft Training Package of Working Memory and Selective Attention With Captain’s Log Cognitive Empowerment Software Package on the Components of the Working Memory in Girls With Temporal Lobe Epilepsy
Background and Objective: The purpose of this study was to compare the effectiveness of the non-computerized training package of working memory (WM) and selective attention with captain’s Log software on the components of WM. Materials and Methods: The present study was conducted in a quasi-experimental design, with non- random targeted sampling, and pre-test, post-test, follow-up, and control...
متن کاملSymbolic Test Generation Using a Temporal Logic with Constrained Events
1. TLCE A Temporal Logic with Constrained Events a) temporal relationships among input and output (I/O) events b) data dependencies between event parameters 2. TLCE-based symbolic test generation algorithm 3. Case Study: Conference Protocol 4. Case Study: Cache Coherence Protocol
متن کاملAutomatic test generation from behavioral patterns
This paper presents a method for automatic test case and test sequence generation from behavioral patterns. A behavioral pattern represents a class of behaviors of the environment with which the software under test interacts. Behavioral patterns are provided by the human tester to complement functional testing based on random test data generation. Thus, the tester can bring all her knowledge of...
متن کاملSymbolic Test Case Generation for Time-Discrete Hybrid Systems
In this article we present a model-based test case specification and associated test data generation methods for embedded systems processing Boolean, integral and real-valued variables. Testing experts are relieved from the task of constructing input data to the system under test in an explicit way and manually calculating the expected reactions. Instead, test cases are specified by means of te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993